(0 19 15)(1 20 4)(2 12 10)(3 7 5)(6 14 8)(9 18 16)(11 17 13)
ALLOWS (11/8)-SEQUENCE
1: (13 16 17)

(0 19 15)(1 20 4)(2 12 10)(3 7 5)(6 14 8)(9 18 16 11 17)(13)
2: (9 11 17)

(0 19 15)(1 20 4)(2 12 10)(3 7 5)(6 14 8)(9)(11 18 16)(13)(17)
3: (2 12 10)

(0 19 15)(1 20 4)(2)(3 7 5)(6 14 8)(9)(10)(11 18 16)(12)(13)(17)
4: (11 18 16)

(0 19 15)(1 20 4)(2)(3 7 5)(6 14 8)(9)(10)(11)(12)(13)(16)(17)(18)